<html>
<head><meta charset="utf-8"><title>I-prioritize #27675 object-safe traits can have associated … · t-compiler/wg-prioritization/alerts · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/index.html">t-compiler/wg-prioritization/alerts</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2327675.20object-safe.20traits.20can.20have.20associated.20.E2.80.A6.html">I-prioritize #27675 object-safe traits can have associated …</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="210926787"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2327675%20object-safe%20traits%20can%20have%20associated%20%E2%80%A6/near/210926787" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2327675.20object-safe.20traits.20can.20have.20associated.20.E2.80.A6.html#210926787">(Sep 22 2020 at 20:26)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="3111">@WG-prioritization/alerts</span> issue <a href="https://github.com/rust-lang/rust/issues/27675">#27675</a> has been requested for prioritization.</p>
<h1><a href="https://forge.rust-lang.org/compiler/prioritization/procedure.html#assign-priority-to-unprioritized-issues-with-i-prioritize-label">Procedure</a></h1>
<ul>
<li>Priority?</li>
<li>Regression?</li>
<li>Notify people/groups?</li>
<li>Needs <code>I-nominated</code>?</li>
</ul>



<a name="210927088"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2327675%20object-safe%20traits%20can%20have%20associated%20%E2%80%A6/near/210927088" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2327675.20object-safe.20traits.20can.20have.20associated.20.E2.80.A6.html#210927088">(Sep 22 2020 at 20:29)</a>:</h4>
<p>Being able make any type <code>Copy</code> seems very scary indeed</p>



<a name="210927126"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2327675%20object-safe%20traits%20can%20have%20associated%20%E2%80%A6/near/210927126" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Mason Stallmo <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2327675.20object-safe.20traits.20can.20have.20associated.20.E2.80.A6.html#210927126">(Sep 22 2020 at 20:29)</a>:</h4>
<p>I'm not as familiar with this issue as other but looking through the conversation it seems like this would be a good candidate for P-Critical.</p>



<a name="210927146"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2327675%20object-safe%20traits%20can%20have%20associated%20%E2%80%A6/near/210927146" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Mason Stallmo <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2327675.20object-safe.20traits.20can.20have.20associated.20.E2.80.A6.html#210927146">(Sep 22 2020 at 20:29)</a>:</h4>
<p>Yeah that seems like a very scary/bad thing indeed</p>



<a name="210927342"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2327675%20object-safe%20traits%20can%20have%20associated%20%E2%80%A6/near/210927342" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2327675.20object-safe.20traits.20can.20have.20associated.20.E2.80.A6.html#210927342">(Sep 22 2020 at 20:31)</a>:</h4>
<p>Was that bug unnoticed since 2015?</p>



<a name="210927774"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2327675%20object-safe%20traits%20can%20have%20associated%20%E2%80%A6/near/210927774" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2327675.20object-safe.20traits.20can.20have.20associated.20.E2.80.A6.html#210927774">(Sep 22 2020 at 20:34)</a>:</h4>
<p>If so I’m not sure it should be <code>P-critical</code></p>



<a name="210928330"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2327675%20object-safe%20traits%20can%20have%20associated%20%E2%80%A6/near/210928330" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Mason Stallmo <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2327675.20object-safe.20traits.20can.20have.20associated.20.E2.80.A6.html#210928330">(Sep 22 2020 at 20:38)</a>:</h4>
<p>I just noticed that it's at least been around since 2016.</p>
<p>Do the new comments on the issue warrant upgrading from a <code>P-medium</code> since that's what it was labeled as previously?</p>



<a name="210928390"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2327675%20object-safe%20traits%20can%20have%20associated%20%E2%80%A6/near/210928390" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2327675.20object-safe.20traits.20can.20have.20associated.20.E2.80.A6.html#210928390">(Sep 22 2020 at 20:39)</a>:</h4>
<p>See also <a href="#narrow/stream/131828-t-compiler/topic/Soundness.20issue.20that.20makes.20any.20type.20Copy">https://rust-lang.zulipchat.com/#narrow/stream/131828-t-compiler/topic/Soundness.20issue.20that.20makes.20any.20type.20Copy</a></p>



<a name="210928784"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2327675%20object-safe%20traits%20can%20have%20associated%20%E2%80%A6/near/210928784" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2327675.20object-safe.20traits.20can.20have.20associated.20.E2.80.A6.html#210928784">(Sep 22 2020 at 20:43)</a>:</h4>
<p>I think <code>P-high</code> would be fine here</p>



<a name="210928930"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2327675%20object-safe%20traits%20can%20have%20associated%20%E2%80%A6/near/210928930" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Mason Stallmo <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2327675.20object-safe.20traits.20can.20have.20associated.20.E2.80.A6.html#210928930">(Sep 22 2020 at 20:44)</a>:</h4>
<p>Seems good to me <span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="210928978"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2327675%20object-safe%20traits%20can%20have%20associated%20%E2%80%A6/near/210928978" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2327675.20object-safe.20traits.20can.20have.20associated.20.E2.80.A6.html#210928978">(Sep 22 2020 at 20:45)</a>:</h4>
<p>If this bug stayed this long unnoticed, I guess it means that it's hard to encounter it in real code</p>



<a name="210929023"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2327675%20object-safe%20traits%20can%20have%20associated%20%E2%80%A6/near/210929023" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2327675.20object-safe.20traits.20can.20have.20associated.20.E2.80.A6.html#210929023">(Sep 22 2020 at 20:45)</a>:</h4>
<p><span class="user-mention" data-user-id="216206">@lcnr</span> any additional thoughts?</p>



<a name="210930746"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2327675%20object-safe%20traits%20can%20have%20associated%20%E2%80%A6/near/210930746" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2327675.20object-safe.20traits.20can.20have.20associated.20.E2.80.A6.html#210930746">(Sep 22 2020 at 21:01)</a>:</h4>
<p>The bug is already old and you can't easily trigger it by accident, so <code>P-high</code> seems fine</p>



<a name="210930802"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2327675%20object-safe%20traits%20can%20have%20associated%20%E2%80%A6/near/210930802" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2327675.20object-safe.20traits.20can.20have.20associated.20.E2.80.A6.html#210930802">(Sep 22 2020 at 21:02)</a>:</h4>
<p><em>that's one of these bugs which makes rust look bad though, so I really want to see this fixed</em></p>



<a name="210930866"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2327675%20object-safe%20traits%20can%20have%20associated%20%E2%80%A6/near/210930866" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2327675.20object-safe.20traits.20can.20have.20associated.20.E2.80.A6.html#210930866">(Sep 22 2020 at 21:03)</a>:</h4>
<p>(similar to <a href="https://blog.rust-lang.org/2020/07/30/Rust-1.45.1.html">https://blog.rust-lang.org/2020/07/30/Rust-1.45.1.html</a>)</p>



<a name="210931366"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2327675%20object-safe%20traits%20can%20have%20associated%20%E2%80%A6/near/210931366" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Mason Stallmo <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2327675.20object-safe.20traits.20can.20have.20associated.20.E2.80.A6.html#210931366">(Sep 22 2020 at 21:08)</a>:</h4>
<p>Tagging as <code>P-high</code>unless there are any objections</p>



<a name="210932591"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2327675%20object-safe%20traits%20can%20have%20associated%20%E2%80%A6/near/210932591" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2327675.20object-safe.20traits.20can.20have.20associated.20.E2.80.A6.html#210932591">(Sep 22 2020 at 21:19)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/27675">#27675</a>'s prioritization request has been removed.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>